大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

0
索取号：
作者：Jedlitschka、 Andreas.、Salo、 Outi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

0
索取号：
作者：K眉hne、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

A Practical Programming Model for the Multi-Core Era [electronic resource] : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

0
索取号：
作者：Chapman、 Barbara.、Zheng、 Weiming.、Gao、 Guang R.、Sato、 Mitsuhisa.、Ayguad茅、 Eduard.、Wang、 Dongsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

0
索取号：
作者：Gruhn、 Volker.、Oquendo、 Flavio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Handbook on Analyzing Human Genetic Data [electronic resource] : Computational Approaches and Software

0
索取号：
作者：Lin、 Shili.、Zhao、 Hongyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

0
索取号：
作者：Umeda、 Masanobu.、Wolf、 Armin.、Bartenstein、 Oskar.、Geske、 Ulrich.、Seipel、 Dietmar.、Takata、 Osamu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers

0
索取号：
作者：Giese、 Holger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification of Object-Oriented Software. The KeY Approach [electronic resource] : Foreword by K. Rustan M. Leino

0
索取号：
作者：Beckert、 Bernhard.、H盲hnle、 Reiner.、Schmitt、 Peter H.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Imaging in Biology and Medicine [electronic resource] : Technology, Software Environments, Applications

0
索取号：
作者：Sensen、 Christoph W.、Hallgr铆msson、 Benedikt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering for Experimental Robotics [electronic resource]

0
索取号：
作者：Brugali、 Davide.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

0
索取号：
作者：Lodi、 Andrea.、Panconesi、 Alessandro.、Rinaldi、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Geometric Modelling, Numerical Simulation, and Optimization [electronic resource] : Applied Mathematics at SINTEF

0
索取号：
作者：Hasle、 Geir.、Lie、 Knut-Andreas.、Quak、 Ewald.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Economic Growth [electronic resource] : Theory and Numerical Solution Methods

0
索取号：
作者：Novales、 Alfonso.、Fern谩ndez、 Esther.、Ru铆z、 Jes煤s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.